Proof that e is irrational